Generalized heat kernel coefficients L.L. Salcedo Departamento de Fisica Moderna Universidad de Granada E- 18071 Granada, Spain (February 1, 2008) O O (N CD (N (N > m en o o :^ -(— > Oh! X Following Osipov and Hiller, a generalized heat kernel ex- pansion is considered for the effective action of bosonic oper- ators. In this generalization, the standard heat kernel expan- sion, which counts inverse powers of a c-number mass param- eter, is extended by allowing the mass to be a matrix in flavor space. We show that the generalized heat kernel coefficients can be related to the standard ones in a simple way. This holds with or without trace and integration over spacetime, to all orders and for general flavor spaces. Gauge invariance is manifest. PACS numbers: 12.39.Fe 11.30.Rd Keywords: heat kernel expansion, effective action, renor- malization, chiral lagrangians Let the bosonic operator be (1) where the gauge field A^i(a;) and the scalar field U{x) are matrices in some flavor space. This kind of operators appear frequently in the computation of the effective ac- tion of fermions (see e.g. Q). In particular the normal parity component of such an effective action is directly related to the determinant of the operator A — D^D (D being the Dirac operator). A standard technical device to compute the effective action is to split the scalar field into two contributions Uix) = m^ + Yix) (2) where m^ is a constant c-number (squared) mass parame- ter. This allows to carry out an expansion in inverse pow- ers of 771^ with coefficients which are homogeneous poly- nomials constructed with the quantities Y and D^. These coefficients are ordered by its scale dimension and thus they are identical to those of the standard heat kernel expansion [0-H. These coefficients are very well-known and we refer to |jl|,|| for details. In the context of effective theories of quarks aiming at modeling QCD at low energy |^ , Osipov and Hiller [^] consider instead a more general separation of the scalar field U{x) = M + Y{x) (3) where M is still a constant (i.e. x-independent) but not necessarily a c-number. In general M is a matrix in ffavor space. In a typical application M = diag(?Ti^, . . . ,r7i^) for n flavors, rrii being the constituent quark mass of the j-th flavor, and Y{x) accounts for the deviations of the scalar field from M. Obviously in the particular case of degenerated masses the previous case M — m^ (a c- number) is recovered. One can try to carry out an expansion in inverse powers of M (i.e. a large mass expansion) in this more general setting. A straight approach is to organize the expansion in such a way that each term is again a homogeneous polynomial in D^ and Y. Technically this can be done by introducing a bookkeeping parameter A Ax = M - XD^ + XYix) , (4) and then proceed to expand the effective action in powers of A. This simple minded approach, however, meets the problem that gauge invariance is not preserved separately by each term of the expansion [0,1). (Of course gauge invariance holds for the full effective action functional.) The problem is that we want to regard A, as well as its associated effective action, as a functionals where the external fields A^ and Y are the true variables and M and the operator du play the role of fixed parameters, i.e. A = A(A, F; M) = M - D^ + Y{x) . (5) From this point of view, under a gauge transformation {Cl{x) being a matrix in ffavor space) n-\x)A{Y,A;M)n{x) ^ A{Y'\A'';M) (6) The quantities M and 9^ are gauge invariant by defini- tion, Dfj^ and U transform homogeneously under a sim- ilarity transformation and the external fields A^ and Y transform inhomogeneously: M £>;,'= n-^Df,n , u^ = n-^un 30_ ^11 — ^P (7) V^^ ^ Y n-^[u,n] It is clear now that, because A does not affect M in Aa, the expansion in A breaks gauge invariance, i.e. in general Ax{Y^,A^;M) wiU not coincide with n-^Ax{Y, A- M)n at A 7^ 1. They do coincide when M is a c-number and in this case the standard heat kernel expansion is recovered. As an aside, we note that manifest gauge invariance is automatic order by order in the context of a strict deriva- tive expansion of the effective action functional (e.g. 0), that is considering instead A a = U{x) — XD^. The strict derivative expansion can be viewed as a resummation of the heat kernel expansion to all orders in Y. Recently explicit closed formulas have been obtained in such an expansion for both the normal and the abnormal parity components of the effective action of fermions coupled to vector, axial, scalar and pseudo-scalar external fields and for an arbitrary flavor group pOl. In the normal parity case the formulas hold for arbitrary space-time dimen- sion through fourth order in the covariant derivatives. In the abnormal parity case the leading order is computed in two and four dimensions. The problem of obtaining a manifestly gauge invariant inverse mass expansion for matricial M has been solved by Osipov and Hillcr in 0J§1 and explicit results are pre- sented there for lowest orders in the case of two and three flavors without gauge fields. Presently we reformulate their approach in a way that makes it simple to treat the case of arbitrary flavor group and the introduction of gauge fields. Finally we find a simple relation between the generalized heat kernel coefficients and the standard ones so that no new calculation of these coefficients from scratch is required. In order to present the formalism let X and Z denote two matrices (or operators) in some space V, such that the combination X + Z transforms by a similarity trans- formation, X represents the term which is defined to be invariant under gauge transformations and Z transforms inhomogeneously (thus, X, Z and X + Z generalize M, Y and U respectively). Consider now the gauge covariant quantity f{X + Z) where f{x) is some arbitrary func- tion such as e.g. the logarithm. (Note that / itself is a c-number although its argument, and thus its value, can be a matrix.) Loosely speaking what we are seeking is to obtain an expansion for small Z (or large X) that gen- eralizes the usual Taylor expansion valid for c-number X and Z (or more generally, valid when X and Z commute) , but in such a way that each term of the expansion is sep- arately gauge covariant. This can be achieved as follows. Let the coefficients Z„ be defined by the set of relations fc=0 {X + zr - E ( r ) (^""') ^*(^' ^) ' ^ = 0, 1, 2, , (8) In this formula the notation (A) represents an average of a matrix A in V, namely (A) tr(A) tr(l) (9) where tr denotes the trace operation in V. The coeffi- cients Zn are matrices and are recursively defined by the formula. The depend both on Z and X in general. Of course when X is a c-number Zn is simply Z" . Since {x", n ~ 0,1,2,...} is a basis of functions we can take linear combinations in the previous formula and write more generally /(x + z) = E;;i(/^"H^))^- (10) where f{x) is an arbitrary function and /'"' {x) is its n-th dcrivativcJ^ Note that the coefficients Zn do not depend on the function f{x). Three crucial properties of these coefficients can be established without explicit computation: (i) The Zn depend on Z and X but this dependence is such that Z„ remains unchanged if X is replaced by X + a where a is any c-number: Zn{Z,X)=Zn{Z,X + a) (11) This is because the shift introduced by a can be absorbed by a redefinition of f{x). (ii) The coefficients are gauge covariant since {X + Z)" is covariant and (X") is invariant for all n: Zn{z",x) = n-^Zn{z,x)n, z^^ = n-^{x + z)n-x . (12) (iii) For the traced quantity CXJ ^ tr fiX + Z) = J2- (/'"H^)) 2n , Zn = tr(Z„) . (13) n=0 Then, the z„ vanish for vanishing Z (except zq which equals tr(l)): Zn{0,X) = 0, (n>0). (14) This latter property distinguishes this expansion from other possible expansions which also enjoy the properties (i) and (ii), for instance f{X + Z) = Y,-f^-H{X))Z', (15) The correct choice of {f{X)) among other possible choices is a merit of |0,|| . At lowest orders ^As usual in quantum field theory, we will be happy if the formulas hold in the sense of asymptotic series. They are not required nor expected to be convergent. ^0=1, Zi=Z + X, Z2= {Z + Xf - X2 , Z3= {Z + Xf - 3x2{Z + X) (16) X3 where we have introduced the foUowing notation X = X-{X), S„ - {X") . (17) For the traced coefficients zo= tr(l) , zi= tr{Z) , Z2=tiiZ^+2XZ), Z3= tr(Z3 + 3XZ^ + 3(^2 - X2)Z) . (18) The property (i) noted above is manifest since Z„ de- pends on X only (and is independent of (X)). Gauge covariance is also obvious since Z„ comes as a combi- nation of powers of Z + X, and this matrix transforms covariantly. For subsequent application in the effective action prob- lem some properties of the Z„ will be needed. First note that by taking a first order variation with respect to Z, either in (||) or (p^), and using the identity StT{f{X + Z))=tiif'{X + Z)5Z), (19) it follows that ^="Z„^i, (20) which is well-known in the context of the heat kernel ex- pansion H] . Next note that from their definition (g) and the property (^l]) above, which allows to use X instead of X, one has to all orders Z,,^{Z + xr-J2[l]^n^kZk (21) fc=0 fc=0 /3„,fc(Z + X)^- (22) for some c-number coefficients (3n,k which do not depend on Z. The allowable dependence of these coefficients on n and k can be delimited by using (EG) which immediately implies that (3n,k — -rPn-lM-l ^ ' ' ' ^ [ h I f^n~k,0 ■ (23) Therefore (defining /3„ = Pn,o) eq. (|22| ) can be given the following sharper form: k=0 ^ (24) The recurrence (Ul\l then takes the form XkPn k=2 ^ ' and for lowest orders yields /3o=l, /32= -X2 , /33= -S3 , (25) (26) /34 -x^ -I- 6X2 , Note that this differs from the usual cumulant expansion beyond third order. A further identity will be needed to relate the standard and generalized heat kernel coefficients. Let 00 r-O jir ( d r\ \d{X) (27) Here d/d{X) refers to the dependence on {X) of f{X) written as f{X + {X)), and so df{X)/d{X) = f'{X). Then the following identity holds fix + Z)=fxJ2l^_ (^^'^ ^^^) ^^ + ^^' (28) This is easily proved as follows /(X + Z)=^1(/(")(X))Z„ n,k ^ ' r,k fxJ2T^(f^'^iX))(Z + X) k\ (29) Let us now turn to the application of the previous re- sults to compute the generalized heat kernel expansion. As is well-known the effective action of the complex bosonic field with Klein-Gordon operator A is — Tr(log(A)) (where Tr refers to functional trace). This and related func- tionals can be obtained once the "current" (x|A~^|a:) is known.n In the standard case when M = rn^ is a c- number the current can be expanded as ^It is understood that the current is known for the whole family of operators A — A for any complex A, then Tr/(A) a X S/(A)tr(.|^|.) where the path F encloses the spectrum of A (x|A-i|a;) = ^(-l)"/„+ia„, where /« = n=0 d''p {2ttY (m2+p2)» (30) (31) {d being the spacetime dimension) and a„ are the (diag- onal) heat kernel coefficients. They are polynomials of dimension 2n constructed with Y, F^i, = [Z?^,£)^] and their covariant derivatives and they do not explicitly de- pend on d. At lowest orders ai=Y, (32) (Our convention is that of [y_l|J^] which differs from that of ||l|] by a factor 1/n!) The lowest order integrals /„ are ultraviolet divergent and so some renormalization is un- derstood. Because the corresponding heat kernel coef- ficients are polynomials, this renormalization translates into the standard polynomial ambiguity in the effective action (and current etc) in its ultraviolet divergent con- tributions. Quite naturally, in the general case of arbitrary M the generalized heat kernel coefficients 6„ are defined as (a;|A-i|a;)= V(-l)"/„+i&„ n=0 where now /« = 1 d<^p {2'kY \{M+p^y (33) (34) and the average ( ) refers to flavor space. Before embarking in the task of computing these gen- eralized coefficients from scratch, it is advisable to rest a moment and consider what result is to be expected. The formulas regarding the expansion of f{X + Z) are fairly general (no assumption was made on the vector space 1^), but of course they are formal due to ultraviolet di- vergences when applied to the operator A. Technically a very definite problem in these calculations is the lack of cyclic property of the trace when the operator D^ (or 9^) is involved. In order to avoid these complications, let us temporarily neglect the contributions from derivatives. In this case A equals U = M + Y and this corresponds to X — M and Z = Y in the previous formulas. Ex- M = M - (M) , (35) Therefore, for terms without derivatives, we obtain a sim- ple relation between standard and generalized heat kernel coefficients, which is just a translation of eq. (p4|), namely fe=0 ^ ^ (36) where a^ denotes the usual heat kernel coefficient but using everywhere Y' = Y + M (37) instead of Y . In addition, the quantities /3„ are given by the same formulas (25 2g) with Xn — (M"). Because the simple relation (|3q ) is perfectly well-defined and sensible also in presence of covariant derivatives it can be conjectured that it holds in general. In fact this is the case, as will be shown subsequently. This is our main result. To lowest orders bi^Y + M , 62= [Y + Mf ^-[D^,[D,,,Y + M]]+^-F^,F^, (38) The analogous relation holds for the traced and inte- grated (over x) coefficients needed for the effective action. We have verified that the results in for the traced co- efficients 60,^17 ^2, &3,&4 in SU(2) are reproduced. We remark that the replacement Y ^ Y' = Y -\- M should be done everywhere in a„ (i.e. in terms with derivatives too). The gauge covariance (in Y) is obvious in a^ since Y' is itself covariant. Another remark is that the for- mula (^2|) is not sufficient to obtain the result, in fact it does not even guarantee gauge invariance (in A^), and the more detailed formula (^) is needed. Let us now turn to the proof of the relation ( pq ) . The main observation is that we do not really need to compute the generalized coefficients but only to relate them to the standard ones. Therefore our strategy will be to start the computation of the coefficients and at some point recognize that the relation (pq) will be obtained. There is an abundant literature on the computation of the heat kernel coefficients in various settings H. Here we will use a method convenient for our present purposes. The first step is to use the method of symbols p^ to express the current |A-i|a;} d'^ 1^^ 1 (2^)-^^ \iD^+p^Y + U |0) (39) panding the current (M -I- y)~^ yields /„ — ((ttt,^)^") where |0) is the state with zero momentum {x\Q) = 1 and a„ = Z^ = Y" in the standard expansion (30) and /„ = (Af^") and 6„ — Zn in the generalized case (33). Zn is given in eq. (E4h as a definite combination of Z" and so 9^1 0) = 0. This allows to deal with the ultraviolet but with Z shifted by X. In our case X corresponds to divergence {x\x) but explicit gauge covariance is lost. Ex- plicit gauge invariance is only recovered after integration over p^. In order to apply our formulas, we identify X = M + p2 Z -D^ + 2ip^D. + Y , (40) regarded as operators in the space of position (spanned by |a;)) and flavor, p^ is a c-number parameter. Because X is ^-independent the averages {f{X)) or {f{X)) are all in flavor space and well-defined. In particular X — M. Further we define t^n 1 A direct application of d'^p ^n ■ {2'kY' and (Pq) then gives — ^^(-l)"J„+i(xlZ„|0) (41) (42) /jd °° ^5](-l)"J„+i(x|(Z + Af)"|0). (43) In this formula the operator Tm acts on the J„. It is given in (27) and the /?„ are constructed with Xk = {M^). A calculation of the coefhcients would now proceed from ( [43| ) as follows (see e.g. g): (i) expanding the binomial, (ii) using angular averaging in momentum space, (iii) us- ing integration by parts in momentum space (this step groups together terms with a same dimension where it counts only the dimension carried by D^ and Y' — Y+M but not that carried by the momentum), and (iv) bring- ing the expression to an explicit form where the operators Dfj, appear in covariant derivatives (i.e. in commutators) only. These manipulations produce terms where all op- erators are purely multiplicative (all derivative operators are already inside commutators) and so equivalent to or- dinary functions of x, thus the matrix element (x| |0) simple evaluates that function at x. This yields the heat kernel coefficients in this approach. (We have explicitly computed h^, bi and &2 using this method to verify that no subtleties arise.) However this is not necessary: it can be observed that when M is a c-number M vanishes and the formula becomes produces (a;|A- dln d{M) E(-ir -nl, n+l i-n+1 Pn-kO-k (46) (47) and (^) follows. In summary, developing ideas put forward by Osipov and Hiller, we have presented a general formalism to treat the problem of expanding functionals above non c-number operators while preserving full gauge invariance.R We have shown that it is not restricted to formal applications (finite dimensional spaces) since it holds too in presence of ultraviolet divergences. This formalism has been ap- plied to obtain a simple relation (56|) between the stan- dard and the generalized heat kernel coefficients intro- duced in @,|1. ACKNOWLEDGMENTS I would like to thank C. Garcia Redo for comments on the manuscript. This work was supported in part by funds provided by the Spanish DGICYT grant no. PB98- 1367 and Junta de Andalucia grant no. FQM-225. /P y(_l)«j„+i(x|Z"|0). (44) |iep-th/0104165] (27r)'^ ^ 11/ \ ) [8] A. A. Osipov anc (27r)'^ ^ All the manipulations (i-iv) just described can be carried out here and we know that the final result is just the standard heat kernel expansion quoted in (|30| ) . Then when these very manipulations are used in ([43[) they will produce the same result except that Y is replaced by Y + M (the fact that J„ involves an average over flavor does not make any difference). That is. [1] [2] [3] [4] [5] [6] [7] [8] [9] M R. D. Ball, Phys. Rept. 182 (1989) 1. J. Schwinger, Phys. Rev. 82 (1951) 664. B. S. Dewitt, Phys. Rev. 162 (1967) 1195; Phys. Rept. 19 (1975) 295. R.T. Seeley, Proc. Symp. Pure Math. 10 (1967) 288. A. E. van de Ve n, Class. Quant. Grav. 15 (1998) 2311 | tiep-th/9708152 D. Espriu, E. de Rafael and J. Taron, Nucl. Phys. B 345 (1990) 22 [Erratum-ibid. B 355 (1990) 278]. A. A. Osipov and B. Hiller, Phys. Lett. B515 (2001) 458 A. A. Osipov and B. Hiller, "L arge mass invaria nt asymp- hep-th/0106226 totics of the effective action L. Chan, Phys. Rev. Lett. 57''(1986) 1199; J. Caro and L.L. Salcedo, Phys. Lett. B309 (1993) 359. L. L. Salcedo, Eur. Phys. J. C 20 (2001) Phys th/0012166 th/0012174 Eur. J. C 20 (2001) 147 161 [ae£ [aep- [11] I. G. Avramidi, Nucl. Phys. B 355 (1991) 712 [Erratum- ibid. B 509 (1991) 577]. (x| A- V)=TmE (-!)"/„+!<, . Finally, using n=0 (45) ■^A similar construction has been considered in the context of quantum gravity by Floreanini and Percacci [hd] . [12] L. L. Sal cedo and E. Ru iz Arriola, Annals Phys. 250 (1996) 1 |hep-th/941214C |. [13] R. Floreanini and R. Percacci, Phys. Rev. D 46 (1992) 1566.